Correlation properties of combiners with memory in stream ciphers

For pseudo-random generators where one or several LFSRs are combined by a memoryless function, it is known that the output sequences are correlated to certain LFSR-sequences whose correlation coefficients c _t satisfy the equation _i c ₂ ⁱ = 1. In this paper it is proved that a corresponding result also holds for generators whose LFSRs are connected to a combiner with memory.If correlation probabilities are conditioned on side information, e.g., on known output digits, it is shown that new or stronger correlations may occur. This is exemplified for the summation cipher with only two LFSRs where such correlations can be exploited in a known plaintext attack. A cryptanalytic algorithm is given which is shown to be successful for LFSRs of considerable length and with arbitrary feedback connection.A preliminary version of this paper was presented at Eurocrypt '90, May 21–24, Århus, Denmark, and has appeared in the proceedings, pp. 204–213.     

汽车电子节能系统的设计方法研究与仿真

研究汽车节能方面的问题,降低汽车耗油量。针对在颠簸路段行驶时,车速会发生突变,耗能呈现高度的非线性,无法用数学模型描述、造成电子节能装置降低耗能的效果下降的问题。为了解决上述问题,提出了采用应激反馈响应的汽车电子节能算法。首先选取合理的车速参数和耗油量参数,然后建立数学模型,对选取的参数进行预处理,最后用应激反馈响应优化参数的调节,增加系统稳定性,降低汽车在颠簸路段运行时的耗油量。实验证明,利用基于应激反馈响应的汽车电子节能算法,能够有效降低汽车在颠簸路段运行时的耗油量,为汽车节能系统设计提供了依据。     

提高定点精度的FPGA信号处理算法

为了满足速度、功耗等诸多限制的要求,数字信号处理算法常使用FPGA实现。而实现时由于硬件特点,通常将浮点运算转换成定点运算,但定点转换设计流程复杂、周期长,且存在数据范围和精度之间的矛盾。利用浮点数的优点,本文改进了基于FPGA的定点数的基本运算规则,有效解决了上述矛盾。本文详细论述了实现移位、加/减、乘、除基本运算模块的方法和步骤,最后以FIR数字滤波器为设计实例。仿真结果表明:改进的定点数算法比定点运算误差小、精度高、数据范围宽,能有效地防止溢出。     

双参数Bézier曲线的升二次扩展

本文以二次Bernstein基函数为例,首次提出了含双参数基函数的新扩展——αβQ—Bern-stein基函数,此类基函数具有新的特点,即基函数的扩展次数一次性升高两次,且包含了二次多项式和带一个参数的三次多项式基函数的所有性质。基于这组基函数定义了αβQ—Bézier曲线,该曲线也含有参数,具有形状可调性,当α与β取某些值时曲线能达到C4连续或在某个端点处C0连续。最后与含两个参数的升一次Bézier曲线进行比较,该曲线具有调节范围广、灵活性更强的优势。     

基于信息元的教学资源组织系统设计与实现 *

以文本类型教学资源为研究对象,在领域知识可拓信息网模型和CELTS-3的基础上,阐述了基于信息元的教学资源组织系统设计与实现过程,包括信息特征元数据描述框架、特征词获取、信息元距离度量、信息元匹配规则以及匹配算法等.该系统通过有限的信息元描述无限的资源,实现了教学资源的高效组织,支持学习过程中资源自动重组.     

幂级数和函数的解法综述

本文总结了求幂级数和函数的四种方法。一种方法是将待求级数分解成己知和函数的级数的运算（一般是加减）表达形式,然后逐一求和新的级数;第二种方法是“先求导,再积分”或“先积分,再求导”;第三种方法是把待求级数用基本初等函数的幂级数展开式表示出来;第四种方法是列写出和函数满足的微分方程,解此微分方程得到和函数。     

现代制造技术与"灰领"技术人才

制造业在国民经济和各种工业生产中均占有重要地位,各种先进的现代制造技术,正在从根本上改变传统制造业的面貌,给传统制造业的物质生产过程赋予数字化和网络化特性。由于制造业、制造技术从传统跨进现代,技术内涵和工程外延均发生了数字化革命,所以需要一种新型工程技术人才———“灰领”来适应这种数字化革命,我国高等职业教育应承担这项使命。     

高校人力资源管理初探

通过对我国高校人力资源管理的特点、目标及其现状分析,从人力资源管理的战略高度,探讨了我国现代高校人力资源管理应该坚持“以人为本”、与时俱进、改变传统观念、坚持以教学和科研为中心、建立正确的用人机制和科学的管理机制等基本举措,以图我国高校的人力资源管理更加科学更加规范。     

柔性直流换流阀监视系统关键技术及工程化应用

随着对柔性直流输电工程换流阀及阀控设备可靠性要求的提升,为了更加全面、直观、及时地监视换流阀及阀控设备运行状态,提高换流阀运行安全性,柔性直流换流阀监视系统的作用愈加重要。结合实际工程项目需求,兼顾现场分系统调试、换流阀检修、正常运行维护等不同使用场景,研发了双网双冗余架构的柔性直流换流阀监视系统。采用页面自动布局和参数自动匹配技术并且加以优化,采用“内存＋文件”相结合的数据缓存机制有效解决海量数据量的处理。该系统具备海量数据高速处理、遥信遥测报文显示存储、高频采样故障录波及波形处理功能,能够以微秒级精度实时记录事件,同时具备远程控制、换流阀及阀控设备状态和关键参数的修改功能。该系统已成功应用于张北可再生能源柔性直流电网试验示范工程,其性能完全满足该工程柔性直流换流阀和阀控设备状态在线监视以及系统调试等需求。     

西宁特钢连铸机技术改造

对西钢新建生产线五机五流小方坯连铸机改造进行了综述.连铸机优良的装备为整条生产线向品种化、规模化、高效化方向快速发展奠定了基础.